Characterizations of modalities and lex modalities

A reflective subuniverse in homotopy type theory is an internal version of the notion of a localization in topology or in the theory of ∞-categories. Working in homotopy type theory, we give new characterizations of the following conditions on a reflective subuniverse L: (1) the associated subuniverse $L^{\prime }$ of L-separated types is a modality; (2) L is a modality; (3) L is a lex modality; and (4) L is a cotopological modality. In each case, we give several necessary and sufficient conditions. Our characterizations involve various families of maps associated to L, such as the L-étale maps, the L-equivalences, the L-local maps, the L-connected maps, the unit maps ${\eta }_X$, and their left and/or right orthogonal complements. More generally, our main theorem gives an overview of how all of these classes related to each other. We also give examples that show that all of the inclusions we describe between these classes of maps can be strict.     

Asymmetric Total Syntheses,Stereostructures, and Cytotoxicities of Marine Bromotriterpenoids Aplysiol B (Laurenmariannol) and Saiyacenol A

There are marine cytotoxic bromotriterpenoids, named the thyrsiferol family that are structurally characterized by some tetrahydropyran (THP) and tetrahydrofuran (THF) rings. The thyrsiferol family belongs to natural products that are often difficult to determine their stereostructures even by the current, highly advanced spectroscopic methods, especially in acyclic systems including stereogenic tetrasubstituted carbon centers. In such cases, it is effective to predict and synthesize the possible stereostructures. Herein, to elucidate ambiguous stereostructures and unassigned absolute configurations of aplysiol B, laurenmariannol, and saiyacenol A, members of the thyrsiferol family, we carried out their asymmetric chemical syntheses featuring 6-exo and 5-exo oxacyclizations of epoxy alcohol precursors and 6-endo bromoetherification of a bishomoallylic alcohol. In this paper, we report total assignments of their stereostructures through their asymmetric chemical syntheses and also their preliminary cytotoxic activities against some tumor cells. These results could not have been achieved without depending on asymmetric total synthesis.     

非线性玻尔兹曼方程的傅里叶谱方法

玻尔兹曼方程作为空气动理学中最基本的方程之一,是连接微观牛顿力学和宏观连续介质力学的重要桥梁.该方程描述了一个由大量粒子组成的复杂系统的非平衡态时间演化:除了基本的输运项,其最重要的特性是粒子间的相互碰撞由一个高维,非局部且非线性的积分算子来描述,从而给玻尔兹曼方程的数值求解带来非常大的挑战.在过去的二十年间,基于傅里叶级数的谱方法成为了数值求解玻尔兹曼方程的一种很受欢迎且有效的确定性算法.这主要归功于谱方法的高精度及它可以被快速傅里叶变换加速的特质.本文将回顾玻尔兹曼方程的傅里叶谱方法,具体包括方法的导出,稳定性和收敛性分析,快速算法,以及在一大类基于碰撞的空气动理学方程中的推广.     

1,3,5-三(羧基甲氧基)苯镍配位聚合物的合成、晶体结构及性质研究

采用溶剂热法,1,3,5-三(羧基甲氧基)苯为定向配体和乙酸镍反应构筑了一个新型的金属配位聚合物[Ni(TB)₂(H₂O)₂]_n·2H₂O,其中H₃TB=1,3,5-三(羧基甲氧基)苯,通过元素分析、IR及X射线单晶衍射对配合物结构进行表征,并研究其荧光性质、热稳定性及Hirshfeld表面作用力。单晶结构分析表明,该配合物属于三斜晶系,空间群$P \overline{1}$,配合物中心离子Ni(Ⅱ)分别与来自两个水分子上的氧原子及四个不同1,3,5-三(羧基甲氧基)苯配体的羧酸氧原子配位,形成六配位的NiO₆八面体构型,并通过与1,3,5-三(羧基甲氧基)苯配体的氧原子配位不断延伸形成具有孔洞结构的一维链状构型。配合物具有良好的荧光性能和热稳定性。Hirshfeld表面作用分析表明配合物分子中O…H/H…O作用占主导且占比为39.0%,而H…H的作用力占比为25.9%,O…O的作用力占比为13.6%。     

不同退火条件对PEALD制备的Ga2O3薄膜特性的影响

利用等离子增强原子层沉积技术(PEALD)在c面蓝宝石衬底上制备了氧化镓(Ga₂O₃)薄膜,研究了退火气氛(v(N₂)∶v(O₂)=1∶1(体积比)、空气和N₂)及退火时间对Ga₂O₃薄膜晶体结构、表面形貌和光学性质的影响。研究结果表明,退火前的氧化镓处于亚稳态,不同退火气氛下退火后晶体结构发生明显改变,而且退火气氛中N₂比例增加有利于Ga₂O₃重结晶。在N₂气氛下退火达到30 min,薄膜结构已由亚稳态转变成择优取向的β-Ga₂O₃。而且表面形貌分析表明,退火30 min后表面形貌开始趋于稳定,表面晶粒密度不再增加。另外实验样品在 400~800 nm的平均透射率几乎是100%,且光吸收边陡峭。采用N₂气氛退火,对于富氧环境下沉积的Ga₂O₃更利于薄膜表面原子迁移,以及择优取向Ga₂O₃重结晶。